---

verification condition generator

英 [ˌvɛrɪfɪˈkeɪʃən kənˈdɪʃn ˈdʒenəreɪtə(r)] 美 [ˌvɛrəfəˈkeɪʃən kənˈdɪʃn ˈdʒenəreɪtər]

【计】验证条件生成程序

计算机

---

---